Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi NYC Haskell User's Group 1:03:09 Streamed 4 years ago 206 Скачать Далее
Asumu Takikawa - Towards Practical Gradual Typing - ECOOP 2015 ECOOP ! 30:01 8 years ago 293 Скачать Далее
An Efficient Compiler for the Gradually Typed Lambda Calculus Arthur Gleckler 25:34 5 years ago 526 Скачать Далее
How to Evaluate the Performance of Gradual Type Systems Cambridge University Press 6:06 3 years ago 360 Скачать Далее
May 2018 - Flow Type - Working with Structural Types with Greg Tatum Tulsa Lambda Lunch 45:52 Streamed 6 years ago 53 Скачать Далее
The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Ras Bodik 24:19 8 years ago 244 Скачать Далее
The Dialectics of Type-Level Programming by Aaron Levin Lambda World 41:05 7 years ago 5 584 Скачать Далее
Type Inference for Dynamically-Typed Languages Microsoft Research 1:11:58 7 years ago 387 Скачать Далее
A Horrified Haskeller's Descent into Python Gradual Static Typing Berlin Functional Programming Group 35:41 3 years ago 1 356 Скачать Далее
Josef Svenningsson - A gradual type system - Code BEAM STO Code Sync 39:33 6 years ago 396 Скачать Далее